121![Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University](https://www.pdfsearch.io/img/2c9cd205d94fa6ed202df857372ec4d9.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2013-09-09 05:44:56
|
---|
122![Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu](https://www.pdfsearch.io/img/d451913dd5b432c2978887b51697c4da.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-03-17 03:36:49
|
---|
123![Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu](https://www.pdfsearch.io/img/6488926dd1263c9c02e292717cce550a.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-02-15 14:07:11
|
---|
124![Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs David Molnar UC Berkeley Xue Cong Li Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs David Molnar UC Berkeley Xue Cong Li](https://www.pdfsearch.io/img/f07f1bb837d1f93d75e94b8c54d1e326.jpg) | Add to Reading ListSource URL: www.cs.berkeley.eduLanguage: English - Date: 2015-01-21 19:48:40
|
---|
125![Instrumentation and Measurement Technology Conference - IMTC 2007 Warsaw, Poland, May 1-3, 2007 Symbolic Computation for Evaluation of Measurement Uncertainty Peng Wei, Qing Ping Yang, Mohd Rizal Salleh, Barry Jones Instrumentation and Measurement Technology Conference - IMTC 2007 Warsaw, Poland, May 1-3, 2007 Symbolic Computation for Evaluation of Measurement Uncertainty Peng Wei, Qing Ping Yang, Mohd Rizal Salleh, Barry Jones](https://www.pdfsearch.io/img/d233880e2d2d7b9232014998e70bbd58.jpg) | Add to Reading ListSource URL: bura.brunel.ac.ukLanguage: English - Date: 2014-11-01 07:53:41
|
---|
126![Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) [removed] Michael Y. Levin Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) [removed] Michael Y. Levin](https://www.pdfsearch.io/img/895cec4f8432e93364ecb334b3c017f7.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2008-01-04 20:00:25
|
---|
127![c
Copyright 2014 Tom Bergan
Avoiding State-Space Explosion in Multithreaded Programs with c
Copyright 2014 Tom Bergan
Avoiding State-Space Explosion in Multithreaded Programs with](https://www.pdfsearch.io/img/46e2d488e89b1bcaea14d1b0780bb561.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-03-11 15:06:20
|
---|
128![Partial Replay of Long-Running Applications Alvin Cheung, Armando Solar-Lezama, and Samuel Madden MIT CSAIL {akcheung, asolar, madden}@csail.mit.edu Partial Replay of Long-Running Applications Alvin Cheung, Armando Solar-Lezama, and Samuel Madden MIT CSAIL {akcheung, asolar, madden}@csail.mit.edu](https://www.pdfsearch.io/img/3cc39569a486e02c6af1fda923470e22.jpg) | Add to Reading ListSource URL: db.csail.mit.eduLanguage: English - Date: 2011-08-15 13:47:43
|
---|
129![LNCS[removed]ExpliSAT: Guiding SAT-Based Software Verification with Explicit States LNCS[removed]ExpliSAT: Guiding SAT-Based Software Verification with Explicit States](https://www.pdfsearch.io/img/3b73275c9f2db498927fb6722e38cd59.jpg) | Add to Reading ListSource URL: www.kroening.comLanguage: English - Date: 2014-05-11 10:56:05
|
---|
130![Growing Solver-Aided Languages with ROSETTE Emina Torlak Rastislav Bodik U.C. Berkeley Growing Solver-Aided Languages with ROSETTE Emina Torlak Rastislav Bodik U.C. Berkeley](https://www.pdfsearch.io/img/2db07d73c0daf70ce8a88c9bc14dc28d.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-08-13 19:26:58
|
---|